program refinementの例文

例文

1. Ensemble was written in OCaml and could be formally analyzed using the Nuprl program refinement logic and theorem prover.
2. She undertook formal methods research in action systems, distributed systems, hardware design, neural networks, and program refinement.
3. The presentation of stepwise program refinement empirically demonstrated how algorithm re-design could improve performance up to a factor of 100.
4. Description : Cliff Jones'textbook Software Development : A Rigorous Approach is the first full-length exposition of the Vienna Development Method ( VDM ), which had evolved ( principally ) at IBM's Vienna research lab over the previous decade and which combines the idea of program refinement as per Dijkstra with that of data refinement ( or reification ) whereby algebraically-defined abstract data types are formally transformed into progressively more " concrete " representations.